perm filename CMSY7.360[360,GF]2 blob
sn#848972 filedate 1987-11-22 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β8↔&∩p→G#_LG∧ GCqPE`⊗↓↔@Epα↔ UhαWe`@ EX@@EX@@EP@`UH↓`UHA E@↓↓ E8↓↓@E0↓↓`E0↓↓`E(↓αE ↓!E_↓!U_↓α@TX↓↓ XαR`0⊂↓C DXβC@TP∧β@tXβ∧D`↓Q(D⊂F"q8∧@`((↓0P'↓ 0⊂↓AJ_↓ p 'A`p 'AA_'A!⊂⊂'A!⊂'Ap⊂'A@_'↓0@'↓ X'↓p0'a ('a (&A↓0 &A↓0 &@a@_&@a@_&↓↓0_&a@⊂&`⊂ α@I0_Bi0λα↓hT !DBA8Ce ∧∀@ α∀ ⊂0α∪` 8↓S@08↓S 08↓S 08↓∪4`↓R`DX↓R`4Pα∩@DPα∩@DPα∩@PXR@PH↓∩`P8↓∩`p S↓$pβ⊃(D
G"q8∧β*↓⊂'@@ ↓B P⊂α@`p0%@``_∧↓)0⊂β↓↓⊂(%@p ∧A*0 ¬↓
0 ¬↓
0_¬A
0_¬A
¬@j ¬@j _¬A
_¬@j⊂ ¬@J⊂_¬@J⊂_¬J ∧@J_∧@J_β@Ip_α@i`P&BλT "DbQ8Ce ∧T@ αT 0α∀ 8↓S`08S@Dpα∪@TpβSa∃λαT$xS $`↓R`4X↓R@@`R@@P↓∩@P@↓∩@p ↓∩a4hβ⊃(D0∂πbq8εD*Q_)@@@_∧j ⊂α↓
_αA
⊂βip⊂β@jp +A
p_+@j`h+β
P *@jP_*j@_)@j0_)i@ ↓I08&↓(T #EαqPCu_¬T@ (αT @α∪` H↓S@ P↓∪ 0H↓∪0H↓∪4Xα∩`4X↓C $Pαβ4Pαα`4Pαα`4Pαα@DPαB DPαBDXαA@TXβ↓T`∧@@4hβ`50↓U 4hA`∀`∧RA∀("∩βb¬`p0π@)pHεi`λα↓!0 &@` ¬@i0_β↓↓0_%`p ¬i ⊂∧a0_*a _)A↓ _)A↓⊂ )D
0`@j ∧A
_¬↓
_¬j⊂ ¬j⊂_¬↓
⊂_¬↓
¬↓
_¬A
_¬A p_ε↓0⊂'@a@(@I`⊂π↓kp "Q ⊃HEbpHπTα∀x↓α$h↓B$`↓B4`B E0↓U@5(α∃ 5(↓UE α∃5 ↓T`E_↓T`5⊂α∀@0@T@ 8↓∀ 8↓∪↓tXπ⊃(DP∞Hβ!8λBkh+@@p⊂*@A⊂*A_)@A_)a_(@a_(@A⊂_-A0_-@k -k _,A⊂ ,@k⊂_,↓ @⊂¬i ¬I ∧@i (β@I 0α@I0P&↓hT %FcQ8B `α∀@HβS@`@↓`%α↓@%α↓%α`∃↓@`∃↓@@∀xα $xβS`0λ↓S`0λα∪@@λα∪@0_α∪@0_α∪ @ ↓S 0(α∪ 0(αS@0αα ∀`↓B@8↓∪0@αA $X↓B@P R`0X∧∩@ pαQ(D`F"q8πA*p@+@ (*@@@ *@P_)@`P⊂)j _(@j⊂_(↓
_(ip '@ip_'↓ `_'apλ&@a`_&B↓_&β @⊂&@0`%@!⊂8"Q R@∃Fαph↓¬`∃0↓E@%(α¬ 5(α¬ 5(α¬5(αD@E(αD U(@ 1β∃⊂⊂αβ@u @@@h↓@ E @`0`↓@@E_A0X↓@`5_A@H↓A5_A@@↓AE⊂A@08↓A E⊂A@@(↓A@E⊂A@@ ↓A`EλB@⊂↓BEλB@λ↓B EB@`Pα∩` ⊂↓α@PXα∩@``↓CTPββ hβR@Qhα∩`4("∪Db0∞εd 5↓M⊂04AJ`⊂λjP π@*P π*P π*P(ε@*P(ε*@⊂@a@λ* ¬@*@λ↓↓↓0λ* 0 ∧@*@λ↓A↓⊂λ)@ P ∧*0λαA↓λ)@ `_β@*0λβ↓`λ) p β* λ∧↓@λ)! α*⊂λ¬↓0λ(@! ↓@)0⊂↓@!@ @I00ε↓I 0π↓) 0πA 0 λ@HT 'FCQ8B`⊂(β∀` ∧T ↓↓e↓↓ 0αS` ↓A`Tp↓↓0@αS 0 ↓α@D`↓A0Pα∪0_↓βDX↓D@DX↓D@DPα∧@4Pα∧@4Pα∧ DPα∧ 4Pα∧ 4PαC`4PαC`$Xαβ@$XαC$Xβα@∀`βA 4hε∪`t("∀β!`¬ap(∧I`⊂α↓@8&@@P_βAI0_βa(%@@` ∧A ⊂βA↓⊂ )A↓⊂ )A↓⊂_)@a _)@a⊂_)↓↓⊂⊂)↓↓⊂)aλ)``⊂(A⊂((@`⊂ (@j (j_'A p_'@I`⊂"Q
⊃H∂εbp`βU↓5⊂↓↓ uλB dx↓α`Tp↓β Th↓C T`↓C`D`↓C`DX↓DDX↓DDPα∧DPα∧4Pα∧4Pαβ`4PαC@4Pββ4Xβ↓ ↓∪↓0 ↓∪ p0↓⊗ %@U 4h∧B`$X¬B@$x¬A %⊂π∃A∧("∀CrλEax(¬ `⊂α↓P@&@@P_∧A)0_βa %@@` ¬↓ ⊂βA↓ _)A↓ _)A↓⊂_)@a ⊂)@a⊂⊂)↓p⊂)↓ ()` 0)`0((A@((@`P((@``((↓`((a(∧*_∧↓@P⊂'@a 0↓@)p_¬B `⊂π↓(T )EC↓8C u(¬U⊂(β∀@ @α∀ 0@↓T@@TEαTeλβ∀A¬_∧∃@u8β⊗ Th↓α@T`↓βDX↓CDPαβ4PαB`$Pβα $XβA $`ε∪@t("∃βQxεβ0λ(E
↓_'A⊂_&@A⊂ &a⊂_%@a _%@A %A0_+@j` +↓
`_+jP *A
P_*@j@_*j0_)@J ⊂'BI`P"Q
QP
Ebp αC`$`βC 4X@`@h↓S`@`↓S`0h↓S`0`α∪@@`↓S@0h↓S@0`α∪ 0`α∪ 0`α∪@XαS0Xβ∪0XαR`@P↓ 4X↓B@tX↓B 0λα∩@@H↓@4Pαα _↓R@@8↓`DPαA ⊂(α∩@P_↓↓@DXβBdXαB@D("∃BaHE`⊂ ε@i 0εi@(¬↓)P ¬↓)` ¬@i` ¬@ip_ε)p ¬@)p ¬@*_¬*_∧@J_∧@*_∧J_β@J_βJ_α@j_αj_↓@j_↓j_@j0(↓* 'A p_'@(T +I%↓H@ 1λC$Pββ@0Pα∩`Phαα@Dhαβ@Pα∪ @Xβα@4p↓B`⊂λαα`$pαα ⊂_↓B`∀pαα _↓B`∀x↓B⊂ αα@∀x↓A` αα ∀x↓A@ 0↓B ∀x↓A@⊂8↓B∀x↓A 8α↓`∀x↓A @α↓@∀x↓A⊂P↓A $x↓@` P↓A ∀x↓@@ X↓A$x↓@ `↓@`$xββ0⊂↓∪`Ph↓@ 4xαβ@dx↓C`Tp↓D 4p↓D $p↓∧@$pD`∀("⊗βAxEa (¬j @βA*⊂⊂↓↓! (@@ ∧j` ∧J` β@J`(α@J`(α*p ↓Jp0+A
p +↓*PλA
0⊂↓↓
⊂⊂α↓
λβ↓ `⊂βA)P⊂∧↓)@⊂¬↓ 0_¬↓@⊂%↓↓ (↓I (∧B _ε↓(T ,F#1XA@`↓S↓Pα∩`⊂_βα Uλαβ%⊂αβ∃⊂αβ∃_αα`∃_αα@∃ ↓B@∃ ↓B % ↓B ∃ α↓`% α↓@%(↓A@%(↓A %(↓A%(↓@`5(↓@@5(↓@ 5(β∃ U(α∩@⊂Hα∩@⊂@α∩@0 αRA$X∧∪ D("⊗C1hEa@@α@*A)@@PH)A@⊂(@A@⊂(A@⊂.@K@⊂-@K ⊂*αj0`+@@0⊂+JP⊂*J0⊂)A@⊂(@!P_(!P_'A`_&B`P⊂&∧I0λ∧αλT ¬c0λ∧@αtPQ(@0Gβ⊃@ε*`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂%ε)!H+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂%ε)!H"Q↓↓H∞ε"PHβT _@`$x↓↓ ⊂(↓∪@⊂8A`∀hB⊂@S⊂HB ∀`B ⊂HR`⊂PB@∀XB@⊂PR@⊂XB`∀PB`⊂XR@⊂XB`∀PR@⊂XB`∀PB`⊂XR@⊂XB`∀PB`⊂XR`⊂PB@∀XB@⊂PS⊂HB ∀`B ⊂HS ⊂@B∀pA`⊂8S` (A %λ↓`⊂_↓∀`t("αC⊃`E!⊂8(@@p⊂'@A0⊂'!pλ&@Ap⊂& λε@ λ& 0λ¬@ 0λ%@ Pλ∧@ Pλ%@ `λβ@ `λ%!λα@!λ%!⊂λ↓@!⊂λ%! λ@! λ%!0λ¬@) λ¬@!0λ%! λ@! λ%!⊂λ↓@!⊂λ%!λα@!λ%@ `λβ@ `λ%@ Pλ∧@ Pλ& 0λ¬@ 0λ& λε@ λ&@Ap⊂'!pλ'@A0⊂(@@p⊂)AhT -E#↓_ @ ⊃⊂R@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩` x↓∪ h↓∪ @8α∪AUλβQ(E`
Fα1_βAi`h&Ap &AP⊂%@Ap⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%@" λ"Qa(∧b0PT`5_↓T@ λ↓∀@ λ↓∀ _↓∀ _↓∀ (↓∀ (↓∪` 8↓∪@ H↓∪@ H↓∪ X↓∪ X↓∪ h↓∪ h↓∩` x↓∩` x↓∩@!λ↓∩@!⊂Q(Ex
Fα1_B λ%B⊂⊂%@Ap⊂%@Ap⊂&AP⊂&AP⊂&@A0⊂&@A0⊂'A⊂⊂'A⊂⊂'@@p⊂(@P⊂(@P⊂(@@0⊂(@@0⊂)@⊂⊂)@⊂⊂)@j0_*(T ⊃CB⊃pA@%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∩@⊂(↓↓ ∀X↓` _↓∪ ⊂⊂↓@∀p@ λS`E↓∀ ∀("λAaλ∂¬`pλ(Ip ' ⊂⊂@)Pλ↓@ λ%@@0⊂↓@I λα@@Pλ(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂"Q∧α⊂∩Ba`0T∀xS@∀hRd∀X⊂S ∀pS`∃T∀("λ$"(¬CC0λ2@,`λ3@-λ%λI"⊂4,pλ3,Pλ2@(T ∩λDPXπ↓@⊃ T⊃ S`⊃0S@⊃@S ⊃PRd∀X⊂S ⊃PS@⊃@S`⊃0T⊃ T⊃ Q(APFbq ∧CJ↓λ'A `⊂&@I@⊂&I0⊂%@I ⊂%I ⊂%I ⊂%I0⊂%@I@⊂&IP⊂'Ip (∧*0p"Qβ18
Eb@λεRb¬@α⊗`%`↓↔ %h↓↔@%p↓↔`%x↓↔`%x↓↔`%x↓↔@%p↓↔ %h↓↔%X↓⊗DXλ∩aT("B18E↓⊂P(β)p 'IP⊂&I@⊂%@I0⊂%I ⊂%∧i!_%I ⊂%@I0⊂&I@⊂&@I`⊂'A
h)BHT ≤¬Bq8@ ⊃_R@!⊂↓∩`!↓∩`!↓∪ p↓∪ p↓∪ p↓∪ `↓∪"∧pπ∪@ P↓∪` @↓∪` @↓∀ 0↓∀ 0↓∀ ↓∀ ↓∀ ↓∀@ ⊂↓∀@ ⊂↓∀`E_α∃% ↓⊃(CHλEαq8∧)!λ,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@I1%D⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂%∧)!λ"Qπ!(α!@
RBUh↓↔ %h↓↔ %h↓↔ %h↓⊃(A Fcq8
@KP -A⊂ +A
`_*j (↓ ` &↓ %↓ @ '↓
)j@_*A
p ,A0 .Ap⊂#A@⊃(%¬hT
Ec1x@$Pα∪Dpα∀E⊂↓U5(α∃`EHα⊗`Ehα↔ EXα⊗ E8α∃@5 ↓T@Eα∪@D`α∩`4P↓⊃``λ
RBt("∧#⊃`λD ↓H%Fλp0ε)!H#A@⊃@%ε(T 7βB∩⊂@$P↓∩`$X↓∩`$`↓∪$`↓∪ $h↓∪ $p↓∪@$x↓∪`$x↓∀%↓∀%λ↓∀ %λ↓∀@%⊂↓∀`%_↓∀`% ↓∃% ↓∃ %(↓∃ %0↓∃`∀("~@ 8⊃ε ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Q⊂ ∧a λ↓∩@DPα∩`$("↓"!_λD!⊂λ)j⊂⊂@J⊂↓@Ip⊂α@I`⊂β@IP⊂∧@I@⊂¬@I0⊂ε@I0⊂ε@I@⊂¬@IP⊂∧@I`⊂β@Ip⊂α@J⊂↓@J⊂⊂@J _)@(T 3βαα⊂B 5λ↓T4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4p↓S 4Pα∪ 4p↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓T5λ↓T`4("→aA⊃ε &@i`_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_(j⊂_)@j⊂_(ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@i`_&@i "Qε∩⊂∩CA`(ββ Th¬α 0_↓S 0α↓@0@R` @α↓ XR`⊂X↓@@ `R@⊂`ββ@∀PC @xR@⊂pαβ@∀PC`@hR@⊂pββ∀XC ⊂↓B`∀XB` αα$`B00α↓@$h↓@`0H¬∪`Phβ⊃(G_πDCa8¬j0⊂↓*0⊂↓J0⊂@j ⊂↓@* ⊂)J ⊂(@j⊂_(@j⊂_(@J_(j_(j_(Ip_'@ip_'@ip⊂'@Ip⊂%@ 0⊂%`⊂⊂%@ ⊂%@ ⊂&hT ↓∧c⊃λλ@ ⊂x↓∩` h↓S X↓∪ H↓∪@ 8↓∪` (↓∀ _↓∀ λ↓∀@5⊂↓T λ↓∀ _↓∪` (↓∪@ 8↓∪ H↓∪ X↓∩` h↓R`⊂x↓⊃(@_π∧!`xβJ⊂(I ⊂α@@⊂%`0⊂↓@i0 @@⊂ '↓J⊂'↓I0 @@⊂ %`0⊂↓@i ⊂α@@⊂(J⊂(HT αεCQ α`E(α∃ E(α⊃`P
∩C$8αB`E(α∃ E(α⊃(@8Gβ⊃⊂ε)!H+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂%ε)!H+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`λ"Q↓⊃H∞ε"PHβT 8↓∪` X↓∪@⊂xS ⊃λS⊃_S⊃_R`⊃(R`⊃(R@⊃8R@⊃8R@⊃8RC∀PE`∀PE`∀PE`∀PE`∀XE ∀XE ∀`D`∀`D`∀hD ∀pC`∀x↓α`%λ↓↓`%_βQ(@XGβ⊃(∧Aj⊂⊂β@Ip⊂¬@I`λπ@)PλλI@λλ λ&!pλ↓@)0λπ@ Pλ%@!`λβ) λπ!λ%!Pλ∧@) λε! λ%!0λ¬@) λ¬@!0λ%! λε) λ∧@!Pλ%!λπ)0λβ!`λ%@ Pλπ@)@λ↓@!pλ& λλ)P⊂λ)`λπ@)p⊂¬@J⊂⊂β@J08"Q↓AH∞ε"PHβT 8↓∪` X↓∪@⊂xS ⊃λS⊃_S⊃_R`⊃(R`⊃(R@⊃8R@⊂P↓B@∀PB PHR@⊂HαB ∀PB PHR@⊂HαB ∀PB@0PR@⊃8R`⊃(R`⊃(S⊃_S⊃_S ⊃λS@⊂xS` X↓∀ 8↓∀`t("β$"(∂¬aP@)D
(∧↓*_λip_ i`⊂IP⊂I@⊂
I@⊂
I0⊂∞I0⊂∞I0⊂∞I ⊂∂I ⊂∂I ⊂∂I ⊂∂I ⊂∂I ⊂∂I ⊂∂I0⊂∞I0⊂∞I0⊂∞I@⊂
I@⊂
IP⊂I`⊂Ip_ j_λj (∧↓*1+BλT πβB⊂hπA Dh∧∪0 ↓R` @↓∩` @↓∩@ P↓∩@ P↓∩@ P↓∩@ P↓∩` @↓∩` @↓∪0 ↓S!∧xα⊃(@xπ∧!PxαA P@&αI0`%C p%βI p%βI0`%C @P&B p "Qα↓H∞∧"⊂↓¬ $P↓D`4`↓∧ $h↓C 4pαA`UεT`t8αα uεS@P8αS 0h↓S!λ↓∩@1_↓R@!(↓⊃(A⊂Fcq8∧CJ↓λ'A `⊂&@I@⊂&I0⊂%@I ⊂%I ⊂%I ⊂%I0⊂%@I@⊂&IP⊂'Ip (∧*0p#A@⊃0%EHT Ec1x@!TXλ⊗EX↓↔%h↓↔ %p↓↔@%x↓↔`%x↓↔`%x↓↔`%p↓↔@%h↓↔ %`↓⊗`%@α∩b∧XεQ``∩Bd("¬BqX∂Eb`λ/@Kp⊂/@K`⊂/KP⊂.K _+A*08%β) h)Ajp(-k@⊂.@K`⊂/Kp⊂/@Kp⊂0(p0¬i!8"Qαq8
GbpR@$P↓∩@$X↓∩`$`↓∪ $p↓S`UλβU↓U εT txαS@4h↓∪$X↓∩`$P↓∩@$P↓∩@$8βαtPQ(A@G↓`α↓!pλ&B↓Pλ&αA@λ%@`P ¬I _∧a_%A α@i λεαI λεB λπA(T F#AλλAPxS↓⊂hRa0`R@@(αB $P↓α P(α∩@⊂Xε∩@⊂h∧R@⊂xαQ` αC`∀`∧C ∀X¬C∀Pα↓ PH↓∩@ HαA DPBaDPC!∀PC`T("π∧"(E"@_∧kP_∧k0_∧k⊂ βA_∧j`_∧j@ βA
0_∧j⊂_∧ip βA `_∧i@_∧i βA βA @_∧i`_∧ip βA
⊂_∧j0_∧j@ βA
`_∧k_∧k⊂ βA0_∧kP_∧k`_∧hT ∞HDQH
@0@↓R`0@↓S 0@↓S@@8α∀0@↓T@0@↓T`@8α∃ 0@↓U`0@↓V@8α⊗@0@↓W0@↓W @8α↔ @8α↔0@↓V@0@↓V@8α∃`0@↓U 0@↓T`@8α∀@0@↓T0@↓S@@8α∪ 0@↓R`0@↓R@0@↓Q(ApFbq_+p⊂/@Kp⊂/K`⊂.@K@⊂-jp()Ai h%β*08+A+ _.KP⊂/K`⊂/@Kp⊂/@Kp⊂"Qβq8
Eb0R@$P↓∩@$X↓∩`$`↓∪ $p↓S`UλβU↓U εT txαS@4h↓∪$X↓∩`$P↓∩@$P↓∩@$(" $"(∂¬c⊂βL@@4lp⊂@,`⊂↓,P⊂↓@,@⊂α, _α@,⊂_β@,_∧+p_/kP_.K0⊂-K⊂⊂+@j`_*@j@_)@j _(@J⊂'@I`⊂&i0_%i ⊂"Q∧b⊂∩GBp↓∩@4X↓S4p↓∪`%↓∀ %⊂↓T`5 ↓U 50↓U`5H↓⊗@%X↓↔%h↓W@5x↓X0@X 08X@0(Y Y _Y@ ⊂Y` λZ6 ∧_@ 0↓⊃(B8Gα↓α↓!pλ&α!Pλ%C↓0λ%↓P(∧@I ⊂∧A P %!@X%!PH%!p(#A`⊃@%ε(T ∀λDQ_ β%0↓∃ % ↓∀`%⊂
∀#4x↓STPαSDp↓T5λ
Tc∃ ↓∃%(↓∃@%0↓⊃(BH⊃ "1⊂
K`⊂/@L⊂0@I!P%εl@_2A,p(3↓P_1@i!X%ε,⊂0Kp⊂/K`⊂"Q¬!(GBpPU∃_↓T`5⊂↓ %λ↓`%↓@`5↓↓ $p↓A`4hα↓`DX↓@ 8↓ 4P↓@@ 8↓@4PA 8↓↓∀x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`%A`∀("
bQ8∂¬``λβ@)p⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@I λα@p⊂α) _↓@p⊂↓i0_@@p⊂@iP βA `_β@j⊂α@J_↓@j⊂⊂↓@J ⊂@J0_)@j@λ*(T ⊗λDQ_ α@ P↓∃ P↓∀` `↓∀@ p↓∀@ p↓∀"Dx∪@1 ↓S1@↓R@APα∪1@↓S 10↓S`! ↓∀αeλ
∀@ p↓∀@0`↓T` `↓∃ P↓∃ P↓⊃(Bh⊃ #a8@`⊂%α 0_%@ ⊂⊂%@ ⊂%@ 0⊂%@ @⊂%@ P_% p_%!_*jP_+k⊂,@K ⊂-@K@_.@k`_/@l_0@l0⊂2LP⊂3Lp_4m⊂_5HT ↔λDQpH&H↓Z68↓Y@&(↓→&_↓_ 6↓W`5p↓W 5`↓V`%P↓⊗ %@↓∃@5(↓U4PB4PA`4XA 4XA$X@`$X@@$X@ $X↓RA∧P↓↓@$("c↓Xπβ@@(εiPHβ@i@⊂αAP⊂%@! ↓@)0λ∧A⊂⊂%!0(%!@_%!@ %!P_%!@(%@! ⊂A 0λ¬ 0 & p⊂αA P⊂↓@`p0'↓!@_"Qε8∧D" ↓∪ Dhα∪ D`α∪D`α∪4`↓R`DX↓R`4X↓R`$P↓R@4P↓∩`∀("b18E⊂H%C
@ +@K⊂,@K⊂⊂-K ⊂-@K0⊂%∧i!_-@K0⊂-K ⊂,@K⊂⊂,Jp⊂*↓ 0`%B(T ~πD⊃8C@%@↓∃`E0↓@%0↓@%(↓↓% ↓↓@% ↓↓@%_↓α%_↓α%⊂↓α@%λ↓β%λ↓β%↓β@$x↓∧$x↓∧$p↓∧@$h↓¬$h↓¬$`↓¬@$`↓¬@$X↓ε$P∂∩cT("
#bλD⊃h%πI0⊂I@⊂I@⊂IP⊂
IP⊂
I`⊂ Ip⊂λIp⊂λJ⊂πJ⊂⊂εJ⊂⊂εJ ⊂¬J0⊂∧J0⊂∧J@⊂βJ@⊂βJP⊂αJ`⊂↓J`⊂↓Jp ,K⊂"Qεa_G"qλ↓⊗`%P↓⊗ %H↓⊗%@↓∃`%0↓∃@%(↓∃ % ↓∀`%_↓∀@%⊂↓∀ %↓∀$x↓∪`$p↓∪ $h↓∪$`↓∩`$P↓∩`∀("
`00εβ@⊂%I ⊂%I ⊂%i _%I ⊂%I ⊂%HT ≥CB⊃XB`∃ ↓∪`@λ↓∪ ↓∪ (↓S (↓R` (↓ $X↓↓ λ↓∩@0(↓ 4P↓A ⊂↓R@0 ↓@4P↓A ⊂↓R@0_↓`4P↓@` _↓R@0_↓`4P↓@` _↓R@0⊂↓↓4P↓@@ ↓R@0⊂↓↓4P↓@ (↓R` λ↓↓ $X↓ (↓∩`@(↓S0(↓∪ ↓∪ λα∪$`↓⊃(C`Gαq8↓↓ p(%@@0⊂α@ %@P⊂↓ P % ` β@i λβ@A %@`_∧↓ 0⊂α@a⊂ &@@_¬i`λ↓@a '@ _¬@Ipλ↓a⊂⊂'@ `% @λ↓`@_% 0λ↓@`@_% 0λ↓@`@_%@`@_αj _αj _αj _αi λβ@@P_%@`⊂βi0λα@@p_α)@λα!⊂_@IP ¬@hT ≡Fβ18A th↓↓@4`B DXB`DPC@0(R@⊂x↓A∀PD TPR@∀XDD`C 0_S X↓↓ ∀xα↓@0(V 5P↓V@5X↓R@Ph↓S @X↓S`0P↓T0H↓T @0↓T`0 ↓U↓∧("∂C!hE`⊃H%F*`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+@(T ∨FCQ8C ∃0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∩c∀XQ(D EBq8@!0λ%A ⊂%A _%a _%@a &a &@a⊂ 'aλ@I` β@ ⊂λ&@@⊂_α@)P⊂↓`@λ&@@⊂α)@⊂α@@0λ%@`P_↓)0_β`⊂λ%@`p_%@a_%A↓_&a⊂_&@a⊂_&A↓⊂_&A↓ ⊂&A↓ ⊂%↓A0λ"QQ(∧b0λD@∀P↓∧ $P↓∧ $P↓α 8↓∩@ @↓↓`$P↓α 8↓∩@ @↓↓`$P↓α 8↓∩@ _¬@`$P↓a0_↓∩@ @↓↓`$P↓α 8↓∩@ @↓↓`$P↓α 8↓∩@ @↓↓`$X↓β`$`↓β $hα↓`DpεT t("_α10E`⊂λ%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%∧i!_%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%@(T 0Dba8D@∃X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`$X ∩b%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%`Q(F⊂¬∧D⊃H@) ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%αI0H"Q0P¬λ#⊂HT@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@$P¬∩A$("→↓!⊂⊂F ⊂H%αI ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%@(T 2BA"λ@↓$P¬∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%_Q(F@∧C$⊃H∧*⊂⊂(J⊂'@Ip⊂'@I`⊂'IP⊂&@I@⊂&I@⊂%@I0⊂%I ⊂%@I0⊂&I@⊂&IP⊂&@I`⊂'Ip⊂'@Ip⊂(J⊂(@J λ"Q
⊂Hελ#⊂↓∩@$X↓∩`$`↓∪$`↓∪ $h↓∪@$p↓∪`$x↓∪`%↓∀%λ↓∀ %↓∀$x↓∪`$x↓∪@$p↓∪ $h↓∪$`↓∪$X↓∩`$P↓∩@$("~a x⊂F λ∧) ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI λ∧(T 6βB∩⊂A`∃↓∪`Dp@ λS ⊂⊂↓@∀X↓` _↓∩@⊂(↓↓ ∃↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∩@⊂(↓↓ ∀X↓` _↓∪ ⊂⊂↓@∀p@ λS`E↓∀$("≠"Q8⊃ε! λ)@j0_)@⊂⊂(@@0⊂(`0_'@`P_&Ap &↓ p(%↓⊂⊂β@@⊂ %@0⊂β@@0⊂'@@p⊂'@@p⊂'@@p⊂'@@p⊂'@@p⊂'@@p⊂'@@p⊂'@@p⊂'@@p⊂'@@p⊂'@@p⊂'@@p⊂'@@p⊂%@0⊂β@@0⊂%↓⊂⊂β@@⊂ &↓ p(&Ap '@`P_(`0_(@@0⊂)@⊂⊂)@j0_*(T 7AA⊃( @D`↓S4h↓S 4h↓S 4h↓S 4`↓S4X↓R`4P↓R@4P↓R@4P↓R@4X↓R`4`α⊃(G⊂λd λ∂@-⊂3@Lp⊂3LP⊂2@L@⊂2L0⊂1@L ⊂0@L⊂⊂0L⊂/@I`λπ@I@ πI ⊂@aP⊂'a@⊂'a0⊂'@a ⊂'@a⊂⊂(`p⊂(`p⊂(@`P⊂(@`P⊂)`0⊂)`0⊂)@`⊂⊂)A*@ *jP⊂"Q∞⊃P∞¬bp¬A↓4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4p↓C4P
⊃(G⊂
GBq8εi!X%F)@_ @)@ )P_λ@)P λ)`_π@)` π)p_ε@)p ¬@J_¬@*⊂_∧@*⊂ ∧* _β@* β*0_α@*0 α*@_↓@*@ @JP_@*`_+jpλ"Q∞A(∧b0↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P
RbD("≥"Q@ D`↓(%¬) ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I ⊂λ@I0λ (T ;εβAx@"tP∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩C∧P⊃``λ∩C∧("≥c↓X∂E`↓@%ε⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0I18%ελp0Ei!@"Q∂PππBp_α∪ _↓∩` (R@0 ↓R@0 ↓R@0(R@4X↓∪$hS 4`↓@∀X↓`4P↓A$P↓A4P↓A4P↓A4X↓↓4X↓@`$h@@$p↓T∃↓∀ %λ↓R`⊂(↓R@0 ↓R@0 ↓R`⊂(↓∩` _↓∪ D("≡!Q∂¬``λ'@ip_'@ip_'@jλ()0_↓ _%β)0_↓ _(*λ'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@jλ(*λ(*λ"Q∂ hλπBp0S`4x↓S`4x↓T∀X↓@@⊂⊂↓RATX↓@@⊂⊂↓T∀x↓S`4x↓S`5Q`⊂0S`4x↓S`4x↓T∀X↓@@⊂⊂↓RATX↓@@⊂⊂↓T∀x↓S`4x↓S`5Q(GX
¬ca8ββIa&B 0⊂&α@0⊂%B`0⊂%B`0⊂%β0⊂%β0⊂%β0⊂%β0⊂%β0⊂%B`0⊂%B`0⊂&α@0⊂&B 0⊂'α0⊂(A 0⊂*@0⊂*@0⊂*@0⊂*@0⊂*@0⊂*@0⊂*@0⊂*@0⊂*@0⊂*@0⊂*@0⊂*@0⊂*@0⊂*@0⊂"Q∂A`∂παp`α∃↓¬_¬∀AEλπ∀!eλπ∀!eλπ∀AE_¬∪ P⊂∧@T`∩c$X
∩CDP∞∩CDP∞∩CDX
∪↓⊂_@A∀h∧@ ⊂∧∪@`_↓`e8↓∃`%0α∃@E0α⊃(Gh
π#A8εJ`⊂*A
P *@ ⊂)@@@⊂)@`⊂)@`⊂(@A⊂(A ⊂'@A@⊂'A`⊂&b_%@b _%B`⊂%@b _&b_'A`⊂'@A@⊂(A ⊂(@A⊂)@`⊂)@`⊂)@@@⊂*@ ⊂*A
P +J`⊂"Q∂aP∞Ebp αBTh∧↓↓∧`↓↓ 0⊂↓A $X↓α@@↓∩` H↓α $P↓α@ P↓∩@ XB@$P↓¬@$P↓¬@$P↓¬@$X↓¬$`↓∧@$`↓∧@$h↓∧$p↓β@$x↓β%↓α@%λ↓A@5⊂↓A5 ↓@%(α∃ E0↓∃@$("∨c!h∞¬a@⊂+JP *A
@0)B
P(βIq'∧IQ &¬I1@%F !P%εI!P%εI!P%εI1@%B 0λ↓α)@@↓@ @&A@0⊂↓AJ`⊂+JP *A
P "{avH2→-g 4YM⊗(9λλ4h)V=qh1[lFH7→n6_4→-V(⊂∃U@⊂≠,↔ 4λ∞7H6XMv`9{aF07[NF00XlV⊂<]←_<|αHl@∞∪d≡⊂B@OX≠@OX≠@∃␈␈␈xo@
⎇@↓xβI∩H↓(_{!@α[7⊂∧≤←0↓π`p$J $}`_
↓∃h<@↓⊂o=@AxβI∩Hα1X{↓"0∧W/⊂∧≡O0βπ`p$J ¬#↑`8∂@↓dH∀@↓_≥=A↓xβI∩H↓,H{α#pπ∩%⊂∧n←0¬π`p$J ¬X≡`X∂@↓dH∀@↓_o=AAxβI∩HαFH{β% ∞≥⊂¬≤∂0π¬H.↑
V}`x
↓∃h<@↓(I=B↓xβI∩Hα[({∧#pπ∩%⊂∧εO0 π`p$J
{↑a_∂@↓dH∀@↓0∃⎇BAxβI∩H↓{P{¬#pπ∩%⊂β}␈0π`p$J ~≡a8∂@↓dH∀@↓0R⎇C↓xβI∩Hαn⊂{ε#pπ∩%⊂¬b?0
π`p$J π~↑aX∂@↓dH∀@pP⎇CB@∧G∞Hαv {π% ∞≥⊂¬z?0∂π`p$J ⊂↑ax∂@↓dH∀@↓@<⎇Dα@∧G∞H↓←H{λ% ∞≥⊂βC∂0⊃¬H.↑ εi≡b_
↓∃h<@h'⎇DB@∧G∞H↓c8{ % ∞≥⊂ε⊗∂0∪
↓⊂≤: A>b8∂@↓dH∀@↓H-=Eα@∧G∞Hβ_X{
% ∞≥⊂ε7/0∃ε X*V z>bX@↓5(,@↓P8=EB@∧G∞Hβ/8{% ∞≥⊂εho0↔
↓⊂≤:
f}bx∂@↓dH∀@↓Xx=FX↓(Q(βDλ{% ∞≥⊂∧:←0→ε``(R π6≡c_
@↓Eλ$@↓`6=FB_∧λ⊂HβJ_{
$0λ⊂!⊂π ∂0≠∞W>c8↓hP=G↓8αK⊗H↓px{∞"p¬⊗-⊂βm/0≥ε``(R πh>cX
↓∃h<@↓h←⎇GAhβ)SHβdp{∂#PεS'⊂π\␈0∨π`p$J ∂R≡cx∂@↓dH∀@↓x?⎇H↓HαjUHβ{0{⊂$π+P∧?0!ε@`π¬ "↑d_↓≡`#@{⎇HAxβG3∀⊂{⊃"P∧vnP5?0#π h}`|↑d8↓0 ∃@⊂≠⎇Iα⊂βuλ8)@{∩"p¬⊗α a←0%ε``Ak@↓T↑dX∂↓←⊂2@_S⎇IA`β∃-XA0{∪%p
↑tp↓∨0'λ p|ε α@≡dx⊂↓gp((I⎇J↓`β≡$H` {∀$⊂π>0p↓L←0)λ@xY∀@β4≡e_↓3`∀@8!⎇JA8αKWHy{∃#⊂¬←β0↓z←0+ε XB4@∧∪≡e8∀α"H3@@W⎇K↓hβ# H↓⊗{⊗#0ε∞[`α8␈0-π h∃e`¬
≡eX
@↓Eλ$@`β⎇KAXβ
∀H↓EP{↔#0ε∀)⊂λ¬←0/ε``(R ε+>ex
@↓Eλ$@`␈=L↓HαjUH∧ @{_#⊂¬U+⊂λ→␈01∧@@0b ⊂A↑f_ ↓ελD@αλ(⎇LA⊂α_H∧→`{→" ∧_1⊂λ<␈03¬H.↑ λN}f8
↓∃h<@↓λD=M↓↓lYH∧#⊂{~"βY3⊂λO←05β(6n λ&≡fX
↓∃h<@α⊂d=MA α+WH∧58{≠#⊂¬U+⊂λxO07¬H.↑ λ∩}fxεVh\@α -⎇Nαλβ`A(∧Hp{≤#`εo` ∨∨09λ x"F ∩W↑g_λ@}(M@↓⊂∨=NAXβ
∀H∧[H{≥#0ε∀)⊂ AO0;π`p$J ∪↔}g8∂@↓dH∀@α0N=O↓⊂α_X∧mH{≡" ∧_1⊂ hO0=∧@@0b ∪d>gX@↓5(,@α8s=OAxβI∩H¬ε({∨#pπ∩%⊂
⊗o0?π`p$J ∀H>gx∂@↓dH∀@αHF> ∃π⊂=xow{⎇x